#ifndef __OS_H__
#define __OS_H__

#include "types.h"
#include "platform.h"

#include <stddef.h>
#include <stdarg.h>

/* uart */ 
extern void uart_init();
extern void uart_putc(char ch);
extern void uart_puts(char *s);
extern char uart_getc(); 
extern void uart_gets(char *s, uint8_t len);

/* printf */
extern int printf(const char* s, ...);
extern void panic(char *s);

#endif /* __OS_H__ */
